Knihy od autora Gilles Dowek

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Principles of Programming Languages

   Gilles Dowek | Springer London Ltd, 2009

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   43.53 €

   Kúpiť
2. 

   Computation, Proof, Machine

   Gilles Dowek, Pierre Guillot, Marion Roman | Cambridge University Press, 2015

   
   

   50 % šanca - Prehľadáme celý svet

   Jazyk: Angličtina

   Väzba: Brožovaná

   71.22 €

   Kúpiť
3. 

   Theorem Proving in Higher Order Logics

   Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.71 €

   Kúpiť
4. 

   Higher-Order Algebra, Logic, and Term Rewriting

   Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.71 €

   Kúpiť
5. 

   Automated Reasoning

   Alessandro Armando, Peter Baumgartner, Gilles Dowek | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.71 €

   Kúpiť
6. 

   Age of Algorithms

   Serge Abiteboul, Gilles Dowek, K-Rae Nelson | Cambridge University Press, 2020

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 9 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   76.03 €

   Kúpiť
7. 

   Age of Algorithms

   Serge Abiteboul, Gilles Dowek, K-Rae Nelson | Cambridge University Press, 2020

   
   

   Skladom u dodávateľa - Odosielame za 9 - 13 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   26.05 €

   Kúpiť
8. 

   Computation, Proof, Machine

   Gilles Dowek, Pierre Guillot, Marion Roman | Cambridge University Press, 2015

   
   

   Skladom u dodávateľa - Odosielame za 14 - 18 dní

   Jazyk: Angličtina

   Väzba: Pevná

   129.68 €

   Kúpiť
9. 

   Rewriting and Typed Lambda Calculi

   Gilles Dowek | Springer International Publishing AG, 2014

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 12 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   70.71 €

   Kúpiť

Knihy zasielame v špeciálnych obaloch z pevnej lepenky. Zistite viac